Jens Knoop: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Springer-Verlag Berlin Heidelberg

Jens Knoop (auth.)

عام:

1998

اللغة:

english

ملف:

PDF, 2.10 MB

0 / 0

english, 1998

2

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Springer-Verlag Berlin Heidelberg

Jens Knoop (auth.)

عام:

1998

اللغة:

english

ملف:

PDF, 2.52 MB

0 / 0

english, 1998

3

Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

Springer International Publishing

Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue, Thilo Pionteck (eds.)

عام:

2017

اللغة:

english

ملف:

PDF, 14.59 MB

0 / 0

english, 2017

4

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Martin Odersky (auth.), Jens Knoop (eds.)

عام:

2011

اللغة:

english

ملف:

PDF, 4.07 MB

0 / 0

english, 2011

5

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Martin Odersky (auth.), Jens Knoop (eds.)

عام:

2011

اللغة:

english

ملف:

PDF, 4.23 MB

0 / 0

english, 2011

6

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 12.26 MB

0 / 0

english, 2012